形式科学 formal science
数学や論理学 logic
<->経験科学 empirical science